Syntax-based Theory and Implementation of Bigraphical Reactive Systems Troels C. Damgaard () Programming, Logics and Semantics (PLS) Group IT University of Copenhagen Denmark

Source URL: www.itu.dk

7th Annual CABRI Seminar: Making Budgets Work - The Implementation Challenge Kigali,17 & 18 AugustPractices and Challenges of

Source URL: www.cabri-sbo.org

• Decentralization
• Organizational theory

Water Policy–78 Effects of the manager’s value orientation on stakeholder participation: at the front line of policy implementation Filip Aggestam European Forest Institute Central-East European Regiona

Source URL: www.iwaponline.com

• Business
• Environment
• Urban studies and planning
• Earth
• Stakeholder analysis
• Systems analysis
• Stakeholder management
• Stakeholder theory
• Natural resource management
• Sustainability
• Corporate finance
• Public relations

WTTM 2012, The Fourth Workshop on the Theory of Transactional Memory Vincent Gramoli University of Sydney Australia

Source URL: www.gsd.inesc-id.pt

• Data management
• Data
• Databases
• Programming language implementation
• Software transactional memory
• Transactional memory
• Nir Shavit
• Linearizability
• Serializability
• Transaction processing
• Concurrency control
• Computing

Transport Research Arena 2014, Paris The driver Continuous Support function in the FP7 “interactIVe” project: an implementation based on the “co-driver” metaphor Mauro Da Lioa,*, Francesco Birala, Enrico Bertola

Source URL: tra2014.traconference.eu

• Science
• Cognitive science
• Car safety
• Control theory
• Internal model
• Motor imagery
• Automobile handling
• Motor cognition
• Embodied cognition
• Motor control
• Neuroscience
• Mind

Promising Practice 4: Implementing a Successful MOUSE Squad Promising Practice Description: Implementation of a successful MOUSE Squad, with 15 active members in grades 6 through 8. MOUSE Squad actively participates in

Source URL: schools.nyc.gov

• Actor-network theory
• Diagrams
• Networks
• Notetaking software
• Presentation software
• Prezi
• Mouse
• Human–computer interaction
• Cognition
• Manga

Motivation FeynRules Implementation of the general MSSM

Source URL: feynrules.irmp.ucl.ac.be

• Model building
• MSSM
• Physics beyond the Standard Model
• Validation
• Phenomenology
• Gauge theory
• Lagrangian
• Minimal Supersymmetric Standard Model
• Physics
• Particle physics
• CompHEP

An Implementation of Bigraph Matching Arne John Glenstrup ∗ , Troels Christoffer Damgaard, Lars Birkedal, Espen Højsgaard IT University of Copenhagen, Denmark Abstract We describe a provably sound and complete matchin

Source URL: www.itu.dk

• Parity of a permutation
• Permutations
• Lambda calculus
• Mathematics
• Group theory
• Parity

AGGIS Implementation and compliance of good governance in International Sport Federations Utrecht University: Frank van Eekeren and Aline Bos

Source URL: www.playthegame.org

• Information security management system
• Decentralization
• Politics
• Management
• Government
• Decision theory
• Policy

Joint Integrated Local Development Programme Description: Dates of implementation: Objectives:

Source URL: www.undp.md

• Governance
• Environment
• Political science
• Politics
• Capacity building
• Environmental governance
• Sustainability
• Decentralization
• Organizational theory